Logical Implication — synonyms, definition

1. logical implication (Noun)

2 synonyms
conditional relation implication
1 definition

logical implication (Noun) — A logical relation between propositions p and q of the form 'if p then q'; if p is true then q cannot be false.

1 type of
logical relation